Convex analysis on Cartan subspaces

In 1937, von Neumann [31] gave a famous characterization of unitarily invariant matrix norms (that is, norms f on Cp×q satisfying f(uxv) = f(x) for all unitary matrices u and v and matrices x in Cp×q). His result states that such norms are those functions of the form g ◦ , where the map x ∈ Cp×q 7→ (x) ∈ R has components the singular values 1(x) ≥ 2(x) ≥ · · · ≥ p(x) of x (assuming p ≤ q) and g is a norm on Rp, invariant under sign changes and permutations of components. Furthermore, he showed the respective dual norms satisfy